Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
61	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: coccinelle.lip6.fr Language: English Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL*
62	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
63	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
64	Managing Program Outcomes Outcomes Logic Model Project Name: IMLS Grant: Date Created Add to Reading List Source URL: bindings.lib.ua.edu Language: English - Date: 2006-06-29 12:35:24 Lead compounds Oxides Lead(II) oxide Survey methodology Survey Global Positioning System
65	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
66	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
67	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
68	Promoting Alternative THinking Strategies (PATHS) Program developed by Mark Greenberg, Ph.D., Pennsylvania State University, and Carol Kusché, Ph.D., University of Washington. Logic Model created by the Evidence-based P Add to Reading List Source URL: www.blueprintsprograms.com Language: English - Date: 2012-08-16 18:50:00 Behavior Psychology Life skills Behavioural sciences Interpersonal relationships Abnormal psychology Mindfulness Prosocial behavior Social psychology Aggression Empathy Emotional self-regulation
69	Funding Evaluation Plan - Instructions Delray Beach Community Redevelopment Agency (CRA) Simply put, an Evaluation Plan is a written protocol to (1) translate outputs and outcomes defined on the organization’s Program/ Add to Reading List Source URL: delraycra.org Language: English - Date: 2016-05-25 17:12:22 Management Logic model Evaluation Performance indicator Impact assessment Program evaluation
70	PADM 564 Healthcare Policy & Program Evaluation Summer 2015 Dr. Gretchen Gemeinhardt Add to Reading List Source URL: spa.unm.edu Language: English - Date: 2015-05-29 11:32:50 Evaluation methods Impact assessment Public administration Systems analysis Political science Program evaluation Evaluation Policy analysis Logic model W. K. Kellogg Foundation Health system

UPDATE